翻訳と辞書 Words near each other ・ Logic synthesis ・ Logic system ・ Logic Theorist ・ Logic Trunked Radio ・ Logic Will Break Your Heart ・ Logic Wireless ・ Logic Works ・ Logic-Based Therapy ・ Logica ・ Logica nova ・ Logica Universalis ・ Logical abacus ・ Logical access control ・ Logical address ・ Logical Analysis and History of Philosophy ・ Logical assertion ・ Logical atomism ・ Logical behaviorism ・ Logical biconditional ・ Logical block addressing ・ Logical clock ・ Logical conjunction ・ Logical connective ・ Logical consequence ・ Logical constant ・ Logical cube ・ Logical data model ・ Logical Decisions ・ Logical depth ・ Logical Design Works Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Logical assertion ： ウィキペディア英語版 Logical assertion In mathematical logic, logical assertion is a statement that asserts that a certain premise is true, and is useful for statements in proof. It is equivalent to a sequent with an empty antecedent. For example, if ''p'' = "''x'' is even", the implication :$(\backslash vdash\; p)\backslash rightarrow(x\; \backslash pmod\; 2\; \backslash equiv\; 0)$ is thus true. We can also write this using the logical assertion symbol, as :$\backslash vdash\; \backslash left(\; (\backslash vdash\; p)\backslash rightarrow(x\; \backslash pmod\; 2\; \backslash equiv\; 0)\; \backslash right)$ In computer programming and programming language semantics, these are used in the form of assertions; one example is a loop invariant. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Logical assertion」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.